8cc10b5cb1dd413669a0a0f3fd1d739dffc7df05,source_gen/jetbrains/mps/bootstrap/smodelLanguage/helgins/typeof_Node_InsertNextSiblingOperation_InferenceRule.java,typeof_Node_InsertNextSiblingOperation_InferenceRule,applyRule,#SNode#,21
Before Change
public void applyRule(SNode argument) {
RulesFunctions.fun_check_isAppliedTo_Node(argument);
if(!((SLinkOperations.getTarget(argument, "parameter", true) == null))) {
TypeChecker.getInstance().getRuntimeSupport().check(SLinkOperations.getTarget(argument, "parameter", true));
if(!(!((TypeChecker.getInstance().getRuntimeSupport().typeOf(SLinkOperations.getTarget(argument, "parameter", true)) == null)))) {
TypeChecker.getInstance().reportTypeError(SLinkOperations.getTarget(argument, "parameter", true), "no type");
}
if(!(TypeChecker.getInstance().getSubtypingManager().isSubtype(TypeChecker.getInstance().getRuntimeSupport().typeOf(SLinkOperations.getTarget(argument, "parameter", true)), new QuotationClass_25().createNode()))) {
TypeChecker.getInstance().reportTypeError(SLinkOperations.getTarget(argument, "parameter", true), "incompatible type: snode expected");
}
}
}
After Change
public void applyRule(SNode argument) {
RulesUtil.checkAppliedCorrectly_generic(argument);
SNode parameter = SLinkOperations.getTarget(argument, "parameter", true);
if(!((parameter == null))) {
TypeChecker.getInstance().getRuntimeSupport().check(parameter);
if(!(!((TypeChecker.getInstance().getRuntimeSupport().typeOf(parameter) == null)))) {
TypeChecker.getInstance().reportTypeError(parameter, "no type");